Evolution in Microkernel Design
نویسنده
چکیده
Thorsten Scheuermann COMP 242 Spring ’02
منابع مشابه
Future Directions in the Evolution of the L4 Microkernel
L4 is a small microkernel that is used as a basis for several operating systems. L4 seems an ideal basis for embedded systems that possess and use memory protection. It could provide a reliable, robust, and secure embedded platform. This paper examines L4’s suitability as a basis for trustworthy embedded systems. It motivates the use of a microkernel, introduces L4 in particular as an example m...
متن کاملThe Logical Design of the RHODOS Multi-threaded Microkernel*
As the RHODOS system has come under increasing use, the need to utilise multiple threads of control within the microkernel has become apparent. In this report we present the logical design of a multi-threaded microkernel for the RHODOS distributed operating system. The important components of the RHODOS microkernel (both hardware dependent and independent) that require design and development to...
متن کاملWorkplace Microkernel and Os: a Case Study Workplace Microkernel and Os: a Case Study
SUMMARY IBM's Microkernel, named Workplace OS microkernel 18], was the core component of Workplace OS, a portable successor of OS/2. The basic premise of Workplace OS work was: 1) IBM would adopt and improve the CMU Mach 3.0 microkernel for use on PDAs, the desktop, workstations, and massively parallel machines, and 2) that several operating system personalities would execute on the microkernel...
متن کاملSDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform
In this paper we present a new hardware/software co-design methodology for embedded systems, where software components written in Specification and Description Language (SDL) execute on a soft-model of a hardware platform, a so called Virtual Prototype (VP). The proposed approach enables fast exploration of different hardware and software design options at high level of abstraction in order to ...
متن کاملDependability of COTS Microkernel-Based Systems
ÐThe commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to suit a wide range of application domains. However, the integration of COTS microkernels into critical embedded computer systems is a problem for system developers, in particular due to the lack of objective data concerning their behavior in the presence of faults. Th...
متن کامل